- 405. Is j at least v?
True
Suppose t - 5 + 521 = q, 5*q - 2566 = -2*t. Which is smaller: q or 0.1?
0.1
Let k be ((-14)/(-5))/(-2) + 1. Let i be ((-25)/(-25))/(-3*1). Is i equal to k?
False
Let g = 9.6 - 8.51. Let i = 0.09 - 0. Let k = i - g. Is -0.3 greater than or equal to k?
True
Suppose -5 - 15 = -4*n. Suppose -n*f + 5 = -s, -1 = -f - s - s. Let b be 2/(-18) + (-770)/(-3366). Which is smaller: f or b?
b
Let p = -18.87 - 0.13. Let x = -18 - p. Which is smaller: 0.02 or x?
0.02
Let l = -0.67 - -0.6. Let t = 384/19 - 1190/57. Which is greater: l or t?
l
Let h be (-69)/(-9) - (-2)/(-3). Let w be (6/h)/((-4)/(-28)). Suppose 3*r + 6 = w*r. Which is smaller: 5 or r?
r
Let j be (3/(3/(-1)) + 1)*1. Is j less than 2/391?
True
Let i be 261/7 - (-8)/(-28). Suppose 4*j = m - 6, -3*m - 3*j = 5 + i. Is -11 >= m?
False
Suppose -4*q + 28 - 12 = 0. Suppose q*n = -3*o + 11, 4*o = -0*n + 4*n + 24. Is n at least as big as -6?
True
Let o = -4 + -6. Let g be ((-5)/9)/(o/15). Let h = -21 - -22. Is g less than h?
True
Let h(t) = -18*t**3 + 3*t**2 + 2*t - 1. Let d be h(2). Which is bigger: d or -130?
d
Let k(v) = -v**3 - 2*v**2 + 2*v - 4. Let w be k(-3). Let r be (-1 + w)*20/360. Suppose 3*y - 4*y + 3 = -3*j, -j = 1. Which is greater: r or y?
y
Let k be 6 + -8 - (-5)/(-1). Let f = 6 + k. Do f and -3/13 have the same value?
False
Let t = -14 - -5. Let k = 16 + t. Let x = -6 + k. Which is smaller: 2/31 or x?
2/31
Let z = 1491992/851751 - 4/94639. Let m = -8448/5525 - 2/5525. Let a = m + z. Is -1 equal to a?
False
Let n be (-1)/8*-6*(-28)/(-21). Which is bigger: n or 114?
114
Let p be -1 + 6 - (-5 - -4). Let q = -6 + p. Which is greater: -4/3 or q?
q
Suppose -24*a + 8*a + 144 = 0. Is a less than 1.1?
False
Let z(v) = v**2 - 9*v - 2. Let o be z(11). Let p be (-6)/21 + 37/(-7)*-1. Suppose 0 = -4*t - 4*g - o, -p*t = g + 3*g + 20. Do 12/11 and t have the same value?
False
Let j(f) = f**2 - 3*f - 1. Let v be j(4). Let c be (-39)/9 - (-1)/v. Let d(h) = 2*h**3 + h**2 + 2*h + 1. Let x be d(-1). Is c greater than or equal to x?
False
Let v be ((-56)/(-24) - 2)/((-2)/1434). Which is bigger: v or -240?
v
Let r(o) = o**3 - 6*o**2 - 5*o - 9. Let p be (-1)/3*(-21 - 0). Let g be r(p). Suppose 2*q - 4 = 2*f + 2, g*f + 15 = -2*q. Is f != -7/3?
True
Let j = -16 - -15.5. Let f = j - 9.5. Let y = f + 15. Is 3 < y?
True
Let j(c) = -2*c - 47. Let l be j(-23). Which is greater: l or -30/13?
l
Let q = 38 + -34. Suppose q + 0 = 4*v. Which is smaller: v or 3/4?
3/4
Let a(u) = u**2 + 8*u + 7. Let z be a(-7). Let s = -8.6 - -10. Let y = 4.4 - s. Which is smaller: z or y?
z
Let w = 0.039 + 97.961. Let v = w - 97.9. Do v and 3 have the same value?
False
Let o = -22 + 65/3. Suppose 16 = 158*l - 174*l. Which is smaller: l or o?
l
Let p be 1 + -2 - -1 - -4. Let z be (-24 + 3)*12/(-42). Let h be (1/(-4))/(z/p). Is 1 not equal to h?
True
Let q = -6235 + 517515/83. Is q <= 0?
False
Let w = -619 - -641. Which is smaller: w or -1.7?
-1.7
Suppose -5*j = -2*w + 18, 4*w - 24 = 2*j - w. Let o = 1 - j. Let p be (-3 - -1)*(-1)/2. Which is smaller: o or p?
p
Suppose -2*o - 3*r + 10 = 0, 3*o - 32 = -o - 3*r. Suppose i - o = 2*z, -4*z + 3 - 22 = -5*i. Let m be z/(-21) + (-48)/21. Which is smaller: m or 1?
m
Let t be -43 + 46 + (0 - (-11127)/(-3711)). Which is smaller: t or 0?
0
Let v = -59324608/5203 + 11402. Which is smaller: v or 1?
v
Suppose -4*m + 40 = d, -d - 2*d = 5*m - 57. Suppose -2*p + 3 = -p. Suppose -p*o + 8 = 2*g, -5*o + 0*o + 10 = 3*g. Which is greater: m or g?
g
Let w = 12 - 12. Let r be (-9*3/(-423))/((-12)/8). Are w and r equal?
False
Let w = 13 + -21. Let j be (-2)/w + (-14)/(-8). Let g = 5520/13 - 16534/39. Is j less than g?
False
Suppose 8*a + 13*a = 3318. Is a less than or equal to 157?
False
Let f = -27 + 39. Suppose 0 = -4*q - 12, -b - 2*q = -6*b + 61. Which is smaller: b or f?
b
Let u be 54/(-90) - 3284/10. Which is smaller: -328 or u?
u
Suppose 1 = -3*x + 10. Let q be (-48)/20 + x + -1. Which is greater: q or -3?
q
Let m = 179 + -213. Which is smaller: m or -35?
-35
Let h = 1.21 + -2.21. Let i = -8 + 8.3. Let w = i - 0.3. Which is smaller: h or w?
h
Suppose -u = -2*u - 0*u. Suppose u = -m - 2, 0 = -3*x + 4*x - m - 1. Which is smaller: x or -7/12?
x
Suppose 5*j - 4*j = 3*j. Suppose -5*o - 2*w - w + 328 = 0, 5*o - 4*w - 321 = j. Which is greater: 66 or o?
66
Let h = -2351 + 2351. Is 1/420 greater than h?
True
Let z(f) = f + 23. Let b be z(-8). Suppose 0 = r + 3, 2*k + 0*r + b = -r. Let v be 2 + 1*0/2. Do k and v have different values?
True
Let q be 54/16 + -3 + 255/(-40). Let h be (-1816)/72 - q/27. Do h and -28 have different values?
True
Let z(q) = -2*q**2 - 36*q - 135. Let j be z(-8). Is j less than or equal to 7?
False
Let c(p) be the second derivative of p**3/2 - 9*p**2/2 - p. Let y be c(6). Are 10 and y non-equal?
True
Let j be 24/182 + (-24)/(-156). Let m = 0.14 - 0.14. Let a = m + 10. Is j < a?
True
Let k(z) be the second derivative of z**4/6 + 5*z**3/2 - 11*z**2/2 - 15*z. Let q be k(-8). Which is smaller: q or -0.7?
q
Suppose -6*k + 8*k - p = 257, -5*k - p + 646 = 0. Which is smaller: k or 130?
k
Suppose 0 = m - 4*q - 3, 0*q - 4*q = 0. Suppose -m*c = u + 16, -4*u - 9 = 5*c - 4*c. Which is smaller: 27 or u?
u
Let u = -7262 - -965854/133. Which is greater: u or 0?
u
Suppose 2*s + 34*t = 35*t, -5*t = -5*s + 5. Which is bigger: s or 3/386?
3/386
Let t be 2/(-7) + 6/21. Suppose t = 4*g - 6*g + 90. Let x be 9/g - 12/10. Which is smaller: 2/13 or x?
x
Let h = 305647/29715 - 1/4245. Are 9 and h equal?
False
Suppose -k + 0 = -2. Let x = 12 - 22. Let o be 0 + 2*(-7)/x. Which is smaller: k or o?
o
Let u = 1104 - 1230.7. Let i = u + 126. Do i and 0.03 have the same value?
False
Let r be 6/8 + 2/(-8). Let f = 5.9 + -5.9. Which is greater: r or f?
r
Let f be (10/(-15))/((-1870)/468 - -4). Let m = f + 147. Let q(z) = z**3 + 2*z**2 - 2*z. Let u be q(-3). Which is greater: m or u?
u
Let a = -53 - -65. Suppose k + k + 5*g - a = 0, 24 = 4*k + 5*g. Is k at least 33/5?
False
Let x = -0.475 - -0.375. Which is smaller: x or 167?
x
Suppose 0 = -j - 4*b + 39, -1 = -2*j + 5*b + 12. Which is greater: 7 or j?
j
Let v be 361/11 - ((-168)/(-77))/(-12). Which is smaller: v or 30?
30
Let k be -1 - 15848/(-3170) - 4. Let w = -28537/11095 - k. Which is smaller: -3 or w?
-3
Suppose -110 = -9*o + 259. Let h = o + -40. Which is smaller: 1/46 or h?
1/46
Let m be (15/21)/((-6)/7). Let o(w) = -2*w - 6. Let i be o(-4). Suppose -t + 0 = i. Are m and t nonequal?
True
Let q = 279 - 277. Is 23 at most as big as q?
False
Let h be (2/9)/(16/1872). Which is smaller: 101/4 or h?
101/4
Let t = -23 + 26. Suppose -2*b = -p - 7 + 37, -t*p - b + 97 = 0. Suppose -14 = 3*g - p. Are 3 and g non-equal?
True
Let h = 137 + -290. Which is greater: 2 or h?
2
Let t(w) = 6*w**2 - 9*w - 11. Let l be t(-3). Which is bigger: 69 or l?
l
Let v(r) = -r**2 + 5*r - 10. Let s be v(-10). Is s >= -159?
False
Let a = -28 + 47. Let b be 2 - (-6)/((-36)/a). Is b >= -2?
True
Let c = -19 + 13. Let z(p) = 2*p - 6. Let k(g) = 1. Let h(i) = c*k(i) + z(i). Let y be h(5). Is 3/10 greater than or equal to y?
True
Let f = -0.4 + -1.6. Let a be 31399/(-9384) + 3 + ((-30)/16)/(-5). Is a <= f?
False
Suppose 5*o - 66 - 4 = 0. Suppose -3*q = 2 - o. Suppose -3*m = 6, -y - q*y = m + 37. Which is bigger: 2 or y?
2
Let a = -1383/5 - -277. Is -2/17 greater than a?
False
Let h(d) = -d + 2. Let a be h(2). Let p be 2/(-12) + (-1)/(-15). Is p less than a?
True
Let i be (-1)/(8 - 56/8). Let c(w) = -12*w**3 - 2*w**2 + 2*w - 4. Let d be c(-3). Let p = d + -1492/5. Are i and p non-equal?
True
Let r = -1115 - -88086/79. Do r and 0 have different values?
True
Let x = 760 + -460. Is 300 bigger than x?
False
Let o be (-32)/(-28) - (-2)/(-14). Let v = 1/271 - 384/30623. Which is smaller: v or o?
v
Suppose -4*z + 9*z - 14 = 4*o, -6 = -2*o - 4*z. Which is bigger: -2/249 or o?
-2/249
Let p = 13 - 14. Let u be 2 - -1 - (1 + -2). Suppose 21 - 6 = 5*r, r = u*h - 1. Which is greater: h or p?
h
Suppose 0 = -2*h + 3*i - 61, -5*i + 79 = -2*h - 8*i. Let r be 14/h - (-2 - 348/(-225)). Is r bigger than 0?
True
Let k = -15415199/54102 - -20080/71. Let o = k - 7/127. Let b = 0 + -1. Are o and b unequal?
True
Suppose -k = 5*k. Let m be (4/(-6))/(3/9). Which is smaller: m or k?
m
Let w be 3/(-11)*1/3. 