-1328?
-1328
Let u(t) = -t**2 + 15*t - 3. Let s(p) = 8*p - 4. Let i be s(2). Let w be u(i). Let o = 1489 - 1457. Which is smaller: o or w?
o
Let l be (124/(-266))/((-495)/(-693)). Which is smaller: -1 or l?
-1
Let x = -64.45 - -62. Let o = 3.05 + x. Is -4/3 greater than o?
False
Suppose -2 = -t - 2. Suppose -7*q + 11*q = t. Let s be (3 + q)*(-2 + -17). Is s >= -57?
True
Let g be 42316/21726 - 24/27. Suppose 3*o + 0*o = 0. Which is smaller: o or g?
o
Let d = -1.66 - -1.321. Let o = d + 0.439. Which is smaller: o or 1/14?
1/14
Let z = 73 - 49. Let n(w) = 3*w + 40. Suppose 2*u = -2*k - 6, 5*u + k - 5*k + 33 = 0. Let c be n(u). Which is greater: z or c?
c
Let a be (-1)/((-1)/(-1)) + (-5)/(-3). Let c = -244 + 243.457. Is a bigger than c?
True
Let d = -187 - -193. Let m be (28/(9 + -2))/d. Which is greater: 15/2 or m?
15/2
Let l(d) = -d**3 - 3*d**2 + 143*d + 290. Let p be l(-2). Is 87/65 > p?
True
Let m = -17369 + 17494. Which is smaller: 866/7 or m?
866/7
Suppose l - 5*a - 7 = 37, 55 = 2*l + a. Suppose 0 = -9*u - l + 2. Do -25/9 and u have the same value?
False
Let l be 45*(684/10761 + 1/(-17)). Which is smaller: 0 or l?
0
Suppose 3*d - 6*d = 4*p - 77, -2*p = -d + 39. Suppose y = s + 2, 3*s + y + d = -y. Let f be (2/12)/((21/(-18))/s). Which is smaller: f or 1/8?
1/8
Suppose 68*c + 39 = 55*c. Suppose 10*d + 32 = -28. Is c > d?
True
Suppose -5 = l, -10 = -3*o + 7*o + 2*l. Which is greater: -632 or o?
o
Let p(g) = -38*g - 14782. Let h be p(0). Is -14781 equal to h?
False
Let s = -2858.9 + 2859. Which is smaller: -1845/4 or s?
-1845/4
Let z be (-180550)/(-75) + (-3)/1. Let d = z - 2433. Are -30 and d equal?
False
Let i(y) = -2*y + 15. Let g be i(7). Let j be ((-24)/23)/g - -1. Suppose -5*k = 12 - 7. Which is bigger: j or k?
j
Let m = 2/87781 - -26158720/790029. Which is smaller: -7 or m?
-7
Let f be (-20)/(-4) - (-14)/((-6)/3). Let h be 7 + -17 + 3 + -1. Let s(i) = i**2 + 9*i + 6. Let a be s(h). Do a and f have the same value?
True
Let m be (5/(-3))/(-5)*(6 + -3 + 0). Which is greater: -3/2062 or m?
m
Let j = -4 - -223. Let y = j - 217. Let c be (-2)/(-6) - (-1)/6. Which is smaller: c or y?
c
Let d(r) = -2*r + 29. Let n be d(13). Let j be ((-159)/(-45) - 0) + 1/(-3). Is n at least as big as j?
False
Suppose -82 = k + 69. Let x = k + 237. Are 85 and x nonequal?
True
Let m be (-6 - (-14 - -7)) + (26/18 - 4). Which is smaller: m or -2?
-2
Let s be 48/40*1/(9/30). Suppose -f - s = -6. Let h be 1/((-5)/((-10)/(-8))). Is f less than h?
False
Let h = 8121.1 + -8654. Let d = h + 557. Is d at most as big as -1?
False
Suppose 8*p - 6*p + 3*z = 11, -4*p + 14 = -2*z. Suppose p*v - 9 = -17. Suppose 2*y - k + 6 = 0, 3*k - 1 - 13 = 4*y. Is y less than v?
False
Let v = -53.146 + 52.5. Let i = -0.146 - v. Which is greater: i or 4/3?
4/3
Let n(v) = 10*v**2 - 112*v + 934. Let c be n(8). Which is smaller: 2032/3 or c?
2032/3
Let x = 86 - 84. Suppose x*a - 107 = t + 7, -2*a = -2*t - 112. Suppose -2*v + 50 = a. Are v and 4 nonequal?
True
Let j = -0.264 + 0.433. Let d = -7.169 + j. Are d and 1.2 unequal?
True
Let h = -38.1 - -8.1. Let d = 30 + h. Let a = -0.16 - -0.2. Is a <= d?
False
Let j(x) = 2*x**3 - 29*x**2 + 79*x + 49. Let z be j(11). Which is smaller: z or 723/10?
z
Let m be (-3 - (-3 - 1))*-127. Let p = 31 + m. Let n be (p/36)/((-2)/3 - 0). Which is bigger: 5 or n?
5
Let d = -9229223/478 - -19308. Let n = -119 + 597/5. Does n = d?
False
Let k be 4218/133 - -19 - (-1 - 7). Are 60 and k equal?
False
Suppose 0 = -28*a + 50*a - 22. Let i = -19 + 16.33. Does i = a?
False
Let r be 17030/5785 + 2/(-1). Which is smaller: 2 or r?
r
Suppose 195*y - 986 = 567 - 9158. Suppose 3*h + 117 = -d, 2*h + 4*d = 26 - 114. Is y less than or equal to h?
True
Let f(j) = 282*j**2 + 4*j + 3. Let c be f(-1). Suppose 369 + c = -10*t. Are t and -65 nonequal?
False
Suppose 4*j - j - 405 = 0. Suppose -6*c = 3*c + j. Let m be 36/30 - (-3)/c. Which is smaller: m or 36?
m
Let t(v) = -v**3 - 11*v**2 - 22*v - 119. Let x be t(-10). Which is bigger: x or -6/1057?
x
Suppose -14*j - 986 = -552. Which is greater: j or 15?
15
Let t be (-4)/(-8)*4/61. Let y = -30 + 26. Let k be 4/(-54)*(-5 + y). Which is smaller: t or k?
t
Suppose 0 = -18*n - 9720 + 324. Which is greater: n or -520?
-520
Let r = -608 - -870. Let o = 279 - r. Which is bigger: o or 21?
21
Let s = 21655 - 107891/5. Let v = s + -3466/45. Is -84 smaller than v?
True
Let w = 460 - 459.972. Is w less than 0.3?
True
Let x = 53/83 - -293/581. Let d(p) = -5*p - 1. Let f(q) = -q + 1. Let a(h) = d(h) - 4*f(h). Let t be a(-5). Which is greater: x or t?
x
Suppose 2*l + 1233 = 30*m - 33*m, -3*l + 9 = 0. Is -442 smaller than m?
True
Let b = -25.2 - 123.8. Let m = 157.7 + b. Let p = -8.53 + m. Are -0.1 and p unequal?
True
Suppose 0*f + 5*f - 5 = 0. Let m = -862303/492 + 5258/3. Is m at most f?
True
Let m = 2 + -3. Let p(t) = 2*t**2 + 8*t + 11. Suppose 6*x - x + 2*l + 35 = 0, 2*x - 15 = 5*l. Let d be p(x). Is d <= m?
False
Let k be (-4)/10 + (-10)/(-25). Suppose -4*r - 120 = 5*m, r + k*r - 55 = 3*m. Let z be (48/m)/(3/(-20)). Is 16 greater than z?
False
Suppose 5*o + 275 = 5*r, o = 3*o + 2*r + 102. Let y(d) = -d**2 - 11*d - 11. Let u be y(-14). Do o and u have different values?
False
Let l(q) = 61*q**3 - 3*q**2 - 28*q - 46. Let g be l(-2). Is -491 <= g?
True
Suppose 0 = 264*f - 212*f - 82940. Is f smaller than 1596?
True
Let o = 9373 + -12431. Is o at most -3057?
True
Suppose 3*s - 139 - 386 = 0. Let q = 186 - s. Which is smaller: 9 or q?
9
Let b = 393 - 391. Suppose 5*s - m + 0*m + 696 = 0, -2*m = -b*s - 280. Is -139 at least as big as s?
True
Suppose 0 = -28*t + 65*t - 37. Which is greater: t or -15/253?
t
Suppose 4*a - 5663 = -2*l + 2115, 0 = a - l - 1952. Let v = a + -107079/55. Let r = -229/1595 + v. Which is smaller: 1 or r?
r
Let a be (-11934)/(-78) - (1 + -4). Which is greater: a or 155?
a
Let l = -283 - -543. Let i = -260.2 + l. Is -62 not equal to i?
True
Suppose 32*a - 231 = 43*a. Let w be (-2)/45*(-7)/(a/(-30)). Let b = -1 + 2. Which is smaller: w or b?
w
Let p(s) = s**2 + 8*s + 7. Let l be p(-7). Suppose 2*x - 4*x = l. Suppose x = n - 2*n - 2*k + 8, 2*k - 8 = 4*n. Which is bigger: -1/9 or n?
n
Let v(f) = f**3 - 20*f**2 + f - 31. Let x be v(18). Let u = 4625/7 + x. Suppose 2*c + 16 = -2*c. Which is bigger: c or u?
u
Let n = -133656 - -344698834/2579. Is n smaller than 0?
False
Suppose -3860 = -40*f - 47342 - 12598. Is -1404 at most as big as f?
True
Let b(k) = -k**2 - 13*k - 19. Let n be b(-11). Suppose -n*d - 13 = -6*u + 7*u, d = -5. Is 7 > u?
True
Let b = -700 + 944. Do 240 and b have the same value?
False
Suppose -49*d + 67*d = 198. Is d less than or equal to 14?
True
Suppose 3*a + 49 = 3*x + 1153, x - 1112 = -3*a. Let r be (a/25)/((-61)/(-30) - 2). Let o be ((-426)/r + 1)*8/(-6). Do 1 and o have different values?
True
Suppose -2*h + 26 = -h. Suppose u + 4*s = 5, -174 = 4*u - s - 296. Which is greater: u or h?
u
Let u = -103640423/147 + 14721334/21. Let y = 1834 - 5855. Let t = u - y. Is t >= -2/7?
True
Suppose 15*z = -1770 + 45. Suppose -3*l - 340 = -0*l - m, 10 = -2*m. Does l = z?
True
Let h = -5529.3292 + -0.6708. Which is smaller: 0 or h?
h
Let n = 934 + -951.7. Does n = 48?
False
Let f be 505/105 + 3/((-3)/5). Let q = f + -10/21. Let a = -62 - -686/11. Which is bigger: a or q?
a
Let o(r) = r**3 + 21*r**2 - 43*r + 69. Let x be o(-23). Suppose -5*l + 3*u + 29 = -19, x = 5*l + 4*u - 41. Is l less than 23?
True
Let q(y) = 239*y + 220. Let t be q(-1). Let x(v) = v**2 + 9*v - 7. Let l be x(-7). Which is bigger: t or l?
t
Suppose 96 = -7*x + 418. Suppose -x = 14*o - 46. Which is smaller: 6 or o?
o
Let r be (-2 + 1)/((-14)/18). Let y = 378 + -375. Suppose -y = 2*g - 5*g. Which is greater: r or g?
r
Suppose 0 = 4*k + 4*o - 4, -3*k + 4 = -4*o - 6. Let s be k/5 - 12/5. Let i be (s/34)/((-8)/16). Is i greater than or equal to -1?
True
Let v = -45 - -53. Suppose -4*p = -5*y + v, 0*y + 4 = y. Suppose -5*l - 33 = -7*f + 4*f, 0 = -2*f + p*l + 23. Is 16 equal to f?
True
Suppose -4*z - 3*y - 2*y = -15, 2*z - 40 = 4*y. Let n be (8/36)/(1/((-603)/(-12))). Is z not equal to n?
True
Let k = -4737 - -4987. Which is smaller: 0.1 or k?
0.1
Let v be (1/(-1))/((-5)/(-125)*1). Let b(x) = -x - 23. Let j be b(v). Let z(f) = f**3 - 2*f**2 - f + 2. Let d be z(j). Wh